Analysis of Dynamic Communicating Systems by Hierarchical Abstraction
نویسندگان
چکیده
We propose a new abstraction technique for verifying topology properties of dynamic communicating systems (DCS), a special class of infinite-state systems. DCS are characterized by unbounded creation and destruction of objects along with an evolving communication connectivity or topology. We employ a lightweight graph transformation system to specify DCS. Hierarchical Abstraction computes a bounded over-approximation of all topologies that can occur in a DCS directly from its transformation rules. Hierarchical Abstraction works in two steps. First, for each connected component, called cluster, of a topology, objects sharing a common property are summarized to one abstract object. Then isomorphic abstract connected components are summarized to one abstract component, called abstract cluster. This yields a conservative approximation of all graphs that may occur during any DCS run. The technique is implemented.
منابع مشابه
Analysis of Dynamic Communicating Systems by Hierarchical Abstraction ( Draft ) ?
We propose a new abstraction technique for verifying topology properties of dynamic communicating systems (DCS), a special class of infinite-state systems. DCS are characterized by unbounded creation and destruction of objects along with an evolving communication connectivity or topology. We employ a lightweight graph transformation system to specify DCS. Hierarchical Abstraction computes a bou...
متن کاملTrajectory tracking of under-actuated nonlinear dynamic robots: Adaptive fuzzy hierarchical terminal sliding-mode control
In recent years, underactuated nonlinear dynamic systems trajectory tracking, such as space robots and manipulators with structural flexibility, has become a major field of interest due to the complexity and high computational load of these systems. Hierarchical sliding mode control has been investigated recently for these systems; however, the instability phenomena will possibly occur, especia...
متن کاملHierarchical Functional Concepts for Knowledge Transfer among Reinforcement Learning Agents
This article introduces the notions of functional space and concept as a way of knowledge representation and abstraction for Reinforcement Learning agents. These definitions are used as a tool of knowledge transfer among agents. The agents are assumed to be heterogeneous; they have different state spaces but share a same dynamic, reward and action space. In other words, the agents are assumed t...
متن کاملProcess Algebraic Approach to the Schedulability Analysis and Workload Abstraction of Hierarchical Real-Time Systems
Real-time embedded systems have increased in complexity. As microprocessors become more powerful, the software complexity of real-time embedded systems has increased steadily. The requirements for increased functionality and adaptability make the development of real-time embedded software complex and errorprone. Component-based design has been widely accepted as a compositional approach to faci...
متن کاملRoad Network Modeling with Layered Abstraction for Path Discovery in Vehicle Navigation Systems
Algorithms for path planning have recently drawn renewed attention from researchers due to the advances of intelligent transportation applications. The difference on path planning between past and nowadays is the complexity of dynamic transportation network. This paper focuses on the road network modeling to speed up real time path discovery in dynamic and complex road networks. On the basis of...
متن کامل